7fa6712ef5d581a6981ec2b08ee623314cd1d1c4	not-for-merge	branch 'master' of https://github.com/orlp/ed25519
